There’s probably a hidden ocean in the asteroid belt
The fall was long and hard for Ceres. Declared a new planet when it was discovered in 1801, it was demoted soon after and became the largest of the space rocks in the asteroid belt, unknown to most people. Until Mission Dawn, and…