It sounds like this is extraction more than "mining" - the source brine is also being used for geothermal energy. A few more details in this article: https://www.insidermedia.com/news/south-west/globally-signif...

I thought they were talking about Doctor Who.