U.S. Federal Government [Member] U.S. Federal Government U.S. Federal Government UNITED STATES Alabama Coal Operations [Member] Alabama Coal Operations Mining Segment [Member] Coal [Member] Coal Mining Segment [Member] Mining