The world’s largest coal mining companies tripled their profits in 2022 to reach a total of more than $97bn, defying expectations for an industry that was thought to be in terminal decline. As global demand for the fuel rose to record levels, total earnings from coal operations at the world’s 20 …