König von Portugal (1640–1656)

Alternative Namen bzw. Schreibungen im edierten Text: 
• Johann IV. (Portugal)