Konungen af Portugal afreste den 9från