Allen, William Adjutant-general of the army in Ireland