Rock formations in the ocean