Which makes it just a matter of priorities. If the USA spent 10% of its defence budget for a year on it, we'd be done. Would humanity benefit more from a Mars base than it does from 10% of the USA's defence budget? Almost certainly.
Though, to be fair, there are a lot of other things we could spend 10% of the USA defence budget on that would benefit humanity a lot more in the short term.
