Abandoned mines present urgent environmental hazards, such as air, water, and soil pollution, and ground subsidence due to flooding when groundwater is no longer pumped out