柬埔寨多少兵力