Lava frozen into rock in the ocean