utropades i Lissabon hertig Johan af Braganza till konung.