Portogallo nella seconda guerra mondiale