Coal demand, market forces, and U.S. coal mine closures. (1st July 2022)