U.S. Coal Exports and Carbon Dioxide Emissions