Konungen af Portugal afreste den 9dennes