ポルトガル（国名・国旗の由来など）