9 Aircraft Carriers to Gulf?

How many Carriers will the US and its Allies send to the Gulf in case of War? Right now the US has 3 Aircraft Carriers in the region (USS Harry S. Truman, USS Constellation, and USS Abraham Lincoln)The UK is sending the Ark Royal. Also, the Theodore Roosevelt is enroute and the FNS Charles de Gaulle is to join it for a exercise??? Further the George Washington is back out to sea for work ups? The USS Nimtz & USS Carl Vinson are also working up in the Pacific. The word is that the USS Kitty Hawk will head to the Gulf soon to be replace by Carl Vinson. Note: Why send the Kitty Hawk to the Gulf to be replaced by the Carl Vinson? Just send the Carl Vinson direct! The Kitty Hawk can be deployed quickly from Japan if necessary. Regardless, this would be quite a Naval Force! With the need for large numbers of tactical aircraft. I could see such a large Carrier based force being deployed. Hopefully, they won’t be needed. Here’s my best guess…….

US Navy*

USS Constellation
USS Harry S. Truman
USS Theodore Roosevelt
USS Abraham Lincoln
USS Kitty Hawk (or USS Carl Vinson)
USS George Washington
USS Nimtz

French Navy

FNS Charles de Gaulle

Royal Navy

Ark Royal

*Note: This doesn’t count several American LHA’s and LHD’s equipped with US Marine Corp. Harriers

To summarize 8-9 Big Aircraft Carriers. (including the French?) Plus the Ark Royal from the Royal Navy. Supported by several Amphibious Carriers (LHA’s and LHD’s) with Harriers!