hade insurgenterna vid Tonking vunnit en seger öfver de kejserliga trupperna.