konung Oskar , konungen af Portugal,