File:Portuguese Empire's flag.png