Its does, but you should see the machines they use for coal mining these days, particularly in Wyoming. A giant strip mine seems to require like 20 workers, but with giant trucks and excavators.

Even for underground mines, check out the massive longwall mining machines they use- it's kind of astonishing. They pretty much take all the coal.

I think this is lost in the political talk about protecting mining jobs- the main original competition is more efficient mining operations.

Anyway, it really says something that natural gas and solar are cheaper than coal given this context.