A Compendium of Irish Biography/Allen, John, Colonel