a ridge of coral rock or sand just below the surface of the sea