Amid a coal boom, one of the U.S.’s biggest coal companies is setting aside profits to prepare for its eventual shutdown.

Coal is booming, but a mining company plans for its end