Don’t we still have a carrier group in the gulf, also? I admit I don’t follow these things well, and its more fun to ask than to look it up :)