Portugal na Segunda Guerra Mundial