. . . "Coal, iron ore, bauxite, and other minerals are mined." . . .