Portugal’s first king