Lava rock carved out by the ocean