holes drilled into the rock by water dripping from above