Muirchertach Mac Lochlainn — High King of Ireland