alt Hacker NewsRE: metallurgical grade coal
A tiny fraction of mined coal is used for metallurgy. If consumption of metallurgical grade coal tripled, and consumption of coal for producing power went to zero, this would be a gigantic environmental win.
The only major producers of metallurgical grade coal are Australia, Canada, and the US. So I'm not sure the mine you mention is in fact "best case".
Don't forget Indonesia and Russia.
Ukraine used to mine its own coking coal before the war, but now, with mines ruined or captured, it imports coal from the US.
Things like nickel and REEs also heavily depend on mining in war-torn countries like Congo or Myanmar.