When Elon gets to mars