These mines accounted for more than one quarter of U.S. coal production in 2015.