@jmaris does that last line mean that he wants the government, not a private entity, to take on the goal of going to Mars? Kinda weird