may still get hauled to export terminals. With all of the other disruptions around the globe, I wouldn’t be surprised if US coal exports increased.