Trump’s Making U.S. Coal Exports the Greatest They’ve Ever Been