In early April, President Donald Trump gathered dozens of hard-hat-clad coal miners around him in the White House East Room. He joked about arm-wrestling them and announced he was signing executive orders to boost coal production, “bringing back an industry that was abandoned,” and to “put the miners back to work.”