US Thermal Coal Exports Soar to Over $5 Billion, Achieving 5-Year Highs in 2023