Mercurio puede haber albergado un antiguo océano de magma