iron cement
noun
A hard cement containing iron, especially in the form of filings; (originally) such a cement used to bond to iron or fill gaps in it.
Origin
Early 19th century; earliest use found in George Atwood (bap. 1745, d. 1807), mathematician.