Probably but not for very long since Mars is further than the hash horizon. They will imo run something like marscoin since they cant mine any btc because of the distance and the resulting delay. More here if you are interested (three part series): https://unchained.com/blog/law-of-hash-horizons/