Russia mined 438.7 mln metric tons of coal and exported 212.5 mln metric tons as of the end of 2023, Alexander Novak said ...