美国在葡萄牙军事基地有多少人