소행성 중에 가장 큰 Ceres 에서, 큰 소금물 바다를 지표면 아래에서 발견