Email Record: Bituminous coal production in the Appalachian Basin, past, present, and future