What I really want to know, is did the USS Eisenhower get captured?