Lava flowing into an ocean