Should the government fund a mission to Mars?