Coal production sets a record high of 1.16 billion short tons. (DOE)