And that was in 2017! The population of working coal miners shrank by 20% in the last decade, from 50k to 40k

https://fred.stlouisfed.org/series/CEU1021210001#0