Konungen af Portugal anlände,