葡萄牙有多少兵力