Plenty of water for Mars.
Enough water to cover mars about 10,000 feet deep in water over the entire planet.
Just need to move as much of that water as needed to the Mars surface...
Could probably settle for 1% of that (about 100 feet deep on the average...