If we were sincere about terraforming Mars, we should push Deimos into Pheobes and maybe another asteroid to start a singular satellite. This’ll give it some tidal stress and start massaging it. Maybe nuking is an idea to explore in theory?