Or the mineral may have been sparry iron ore, which is readily converted into steel.

It became yards and yards deep and silt and water pressed it down and crushed from it almost all the elements except the carbon, and it was transformed into a mineral, and that mineral is coal.