Pssst: Global Coal Use Hit Another Record in 2023