Mining News -As for the exports, US exported around 95 million short tons of coal in 2017, which was equivalent to 86.36 million tons, rising by 58% or 34.73 million short tons.
http://www.miningnewspro.com/en/News/118945/US coal production increases in 2017 y-o-y