Weathering-produced hole in a rock ledge