De Mammoet, rupstractor van de Nederlandse Staalindustrie te Rotterdam in de Wieringermeer