Mais antigo da Marinha dos EUA, porta-aviões deve fazer parada no Rio de Janeiro a caminho da Costa Oeste dos EUA

USS John F. Kennedy (CVN 79) deve ser incorporado à frota em 2027, após anos de atrasos