Holes in rock formed by cavitation