Exports had never been a major segment of the U.S. coal market, generally accounting for less than 10 percent of…