han såsom konung af Portugal att antaga namnet Carlos I.