Restos del antiguo océano global de magma bajo el Mar del Coral