Äfven konungen af Portugal har ettantal