Muirchertach mac Muiredaig — Supposed High King of Ireland