King Laoghaire, High Kind of Ireland