Se daba la circunstancia de que era el mismo nombre del portaaviones que Truman había cancelado en 1949.