A gravel pit is an open-pit mine for the extraction of gravel. Gravel pits often lie in river valleys where the water table is high, so they may naturally fill with water to form ponds or lakes. Wikipedia