¿Un planeta con un océano de lava?

¿Un planeta con un océano de lava? Desarrollado por el primer planeta terrestre descubierto por CoRoT, el exótico modelo de un planeta cubierto parcialmente con un océano de lava se aplica al segundo planeta conocido con similares características.