Domnall Ua Lochlainn — Irish high King