I doubt that. There's plenty of Iron that doesn't require mining to find, and it naturally accrues in the environment over time: https://en.wikipedia.org/wiki/Bog_iron
We stop mining coal when it is no longer economical to do so, not when the mine is entirely depleted. There's a bunch of coal at or near the surface and will be for quite some time.
The same goes for Oil. We extract that which is easiest to extract and fraction into the products we desire, preferring to leave things like the energy intensive and more polluting "Tar Sands" behind.
We stop mining coal when it is no longer economical to do so, not when the mine is entirely depleted. There's a bunch of coal at or near the surface and will be for quite some time.
The same goes for Oil. We extract that which is easiest to extract and fraction into the products we desire, preferring to leave things like the energy intensive and more polluting "Tar Sands" behind.