葡萄牙内战死了多少人口