To put that number in perspective, it’s way more jobs in a much smaller country than the number of coal miners in the United States. data.bls.gov/timeseries/CES1021210001