Ignoring the difficulty of capturing a comet or adjusting its orbit: If we could arrange for a comet to strike Mars, what would the effect be? Could we terraform Mars by hitting it with a cubic mile of water?