Who is using coal outside China/India?
In the US its Nat Gas and then the "green" options.
Coal is not used for power plants here much - what we produce goes overseas.
Metalurgical coal remains a thing - and will for a while, but mini mills are cheaper and more productive.
As to miners...