矿山开采,水池