Toirdelbach Ua Briain — high King of Ireland