Seas of Ceres: “the bulk of the salts were supplied from a slushy area just beneath the surface that was melted by the heat of the impact that formed the crater about 20 million years ago”