coal mine: a mine where coal is dug from the ground
mine: excavation in the earth from which ores and minerals are extracted
filter bed: filter consisting of a layer of sand or gravel for filtering water