Yes. Thanks. I figured out how I miscounted. The Vinson is a Pacific ship, but I was counting it against the Atlantic number, and so I missed one.
So there will be two Atlantic carriers in service instead of one, assuming the Kennedy is discarded.