If future Mars colonizers want to survive without pressure suits, they’ll need to generate a denser atmosphere. One way to achieve this could be to bombard the Red Planet with water-rich asteroids.