“The estimated cost for a steady-state U.S. military operation in the Persian Gulf is $15 to $20 billion per month, which could rise to $20 to $30 billion per month for surge operations.”