Trump’s Department of Labor is getting pilloried online after advertising that there are now more jobs for miners in the U.S.