Comment by will_hughes

This is already covered in the book. The water ice on Ceres had already been used up in the colonisation efforts of Earth and then later: Mars.