Do we have the money for a manned mission to Mars? | Hacker News Reader