A manned mission to Mars (a joint venture between NASA and SpaceX that would reduce the costs and risks to taxpayers) might well become Mr. Trump's version of "landing a man on the moon and returning him safely to the Earth" within a decade, the challenge that President John F. Kennedy set before Congress in 1961.