Titulärkonungen Ferdinand af Portugal,