“The United States currently has a carrier group deployed in the Persian Gulf.”