Así es como la NASA descubrió que había un océano escondido bajo la superficie rocosa del planeta Ceres.