noun · an excavation area or pit in the earth from which minerals are extracted

这处废弃的矿坑现在已经变成了一个深水湖。