A Compendium of Irish Biography/Tighernach