File:Flag Portugal (1707).svg