Dwarf planet Ceres once had a muddy ocean, study suggests