Brian Denny Thomas — (born 1923)