Portugal förlorar i honom en konung ,som