4 ms·

And yet their coal usage has plateaued for the last few years, and actually likely started to decline in 25.