Astronomia Exoplanetas Oceano de Magma: Novo Tipo de Exoplaneta Permanece Derretido por 5 Bilhões de Anos