Richard Marks (American film editor (1943-2018))