Kriget i Tonkin är nu slutadt , idet