Richard Portman — American sound engineer (1934-2017)