a large hole in a rock formation