Lava ocean