High King of Ireland — historical title