how to terraform mars: crash ceres into it
mars does not have a lot of water. ceres is mostly water ice
you get oceans and an atmosphere that you'll have a couple million years to figure out how to keep from being destroyed by solar wind, and also a banger sky lightshow
there are no downsides