The Lake District is rich in mineral deposits that have been put to good use since ancient times , and throughout much of the region 's history , mining was a major industry .
There has never been mining in that district .