I wonder, of the many hundreds of billions of dollars the US spends on defense every year, how much goes to those military operations to which you linked.