konung as Portugal , f. 31 Okt.