葡萄牙打中国派了多少兵