first king of Portugal