Diarmait mac Cerbaill — High King of Ireland