konungen under hans tillämnade resa til Portugal.