Kriget i Tonkin , Den nämde engelsmannen hadeslutit