Planeta anão Ceres já teve um oceano de lama, diz estudo