What If Volcanic Lava Floods the Ocean?