PORTUGAL'S ROLE IN WORLD WAR II