what happens when lava reaches the ocean