U.S. coal exports account for larger share of a shrinking market