“The estimated monthly cost for a steady-state U.S. military operation in the Persian Gulf is between $15 billion and $20 billion.”