中国付出3万人代价，打赢对越反击战，到底消灭了多少越军？