Condensing water vapor, augmented by ice delivered from comets, produced the oceans