— konungen af Portugal.