What is a coral cavern, and how is it formed?