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#

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 https://fred.stlouisfed.org/series/CEU1021210001#0