Richard Duncan Carey Garnett — writer; born 1923; died 2017