La Marine américaine ne réintégrera pas le commandant du porte-avions Theodore Roosevelt