revision preference src: Pressman died at Mount Sinai Hospital Manhattan on June 23, 2017, aged 93. <SEP> tgt: Pressman died in his sleep at his home in Manhattan on June 23, 2017. <SEP> He was 93 years old.