Just a couple of notes to tamp down the hype. The 35,000 mining jobs includes oil and gas extraction. Rig counts are rising so much of that mining total is tied to drilling. Coal mining jobs are up about 1,000 to 50,300 since Oct-16.
I don't think oil and gas extraction are considered mining.