Isn't the Carl Vinson in RCOH at Newport News?
If my count is correct, that would mean that the Eisenhower and the Kennedy would be the only two ships available for the Atlantic and Med.
Except, wasn't the Kennedy tagged for early retirement before then? Will it even be in service at that point?
The CV will be here for three years, Also the shipyard is building the George H W Bush. It looks funny without a super structure.