Saying "working toward a martian colony" is akin to saying "working toward a way to colonize the solar system". Mars is not very interesting once you have a methodology. The Moon is a much more practical place to start the process. Then aim at the asteroid belt.
Mining asteroids is a goal that makes sense. I can picture a future where spacecrafts are regularly sent to the asteroid belt and come back to earth with some minerals. Living on the moon does not make sense. There is nothing to be gained from humans living in a future moon base. Not any more than cities built in Antarctica, or in orbit with a constellation of ISS like satellites.
We won’t build a city on the Moon, nor Mars, nor any of Jupiter’s moons, nor anywhere outside of Earth, and we won‘t do this even if engineeringly possible, for the exact same reason we won’t build a bubble city inside the Mariana Trench.
Mars costs the same as the Moon to reach and return from (delta-V) and is a much easier environment to stay in, even over as short a period as a month. Mars makes much more sense than the Moon, which has little of interest and isn’t a stepping stone to anywhere.