från Tonkin utrymdes Tonkin fullständigt den sista Oktober af de kinesiska trupper som intagit landet.