Trump’s promise to put coal miners back to work was a failure