“A long-term goal for SpaceX, included in its S-1 prospectus, remains the colonization of Mars.”