Since 2008, the U.S. coal industry has seen a decline in the amount of coal mined and consumed—although mining efficiency has improved. The industry’s U.S. employment has declined…