Portugal förlorar i honom en konung,