葡萄牙内战时总兵力多少