In 2018, U.S. coal exports were the highest in five years