Old lava rock gets carved by the ocean