EIA: In 2018, U.S. Coal Exports Were the Highest in Five Years