Isotopic evidence points to carbonaceous chondrite asteroids bringing enough water to Mars that it could have formed a global ocean some 1,000 feet deep.