U.S. Coal Exports Take Record Share of Production