William Gregory — Irish politician and senior civil servant