Dinis King of Portugal.