Ocean steam from lava