Technically, this is more than possible with current tech at less cost than sending a rover to Mars (probably), but no one wants to do it because it's not land you can plant a flag into and "claim" as yours.
Technically, this is more than possible with current tech at less cost than sending a rover to Mars (probably), but no one wants to do it because it's not land you can plant a flag into and "claim" as yours.
In other words, from cost, to sustainability, to environment, to trade, to defence, to literally whatever criterion you want, living on land is better than living under the sea.
And alas it would not really increase survivability of ELEs. (inside mountains is likely better for that.)
The only reason to colonise Mars is to mitigate an ELE, and its a pretty poor mitigation at that - Mars is more likely to experience an ELE than we are, all it takes is a bit of machinery to fail.
Which begs the question of course, why do we care? If an ELE happens, then it happens. Bummer.