“This war so far has cost us $125 billion and counting, because largely we decided to do it on our own, with only the United Kingdom as a paying, fully participating partner.”