Obituaries: November 20, 2022

Editor’s note: Obituaries are published free of charge as a public service. Content is subject to editing for parity treatment and style continuity. Date of publication cannot be guaranteed.