Dennis Faulkner — Irish military personnel (1926-2016)