Fair point, but the comparison is a bit uneven - you are comparing one industry's post-devastation numbers with another's pre-devastation numbers. Across the rust belt, just a few decades ago, there were many times more coal workers than 70k. If you go back to 1923 there were 883k.