When lava hits water