de kinesiska trupperna skulle draga sig tillbaka från Tonkin pådet