How Much Has the US Spent to Fight Terror? Here’s a Guess