Is there a list of instances where mountains that have been mined out of existence?

Question

Reading the Wikipedia entry for the Australian town of Broken Hill, I came across the following piece of trivia (emphasis mine):

The "broken hill" that gave its name to Broken Hill actually comprised a number of hills that appeared to have a break in them. The broken hill no longer exists, having been mined away.

Surely there must be many other examples of this happening over the course of human history? I haven't been able to find any.

Is there a term for mountains or hills that have been wiped out of existence due to mining or some other human activity? Or perhaps a list of such instances?

Answer 1

Of course it happens elsewhere! However, I'm not sure there's a specific term, generally. Even in the "montaintop removal" country of Appalachia, there is no more prosaic term for the practice other than MTR. Too bad! It surely deserves a better term!

And...despite the complete excising of an entire mountain within the Oquirh mountains, even the Salt Lake City population has no term for Complete Mountain Removal!

Answer 2

It happened and it is still happening:

In the USA, there's the Bingham Canyon copper mine in Utah.

In Australia, there's the Mount Whaleback and Mount Tom Price iron ore mines in Western Australia and former mines like Iron Knob and Iron Monarch in the Middleback Ranges of South Australia, near Whyalla.

In West Papuan province of Indonesia there's the Grasberg gold and copper mine.

The Ok Tedi copper and gold mine in Papua New Guinea is well into the process of mining the mountain.