operationerna i Tonkin och för den skull ditsända större stridskrafter.