Kriget i Tonkin anses nu vara afslutadt,