trupperna utrymt Tonkin på befallning från hofvet i Peking.