Editor’s note: Obituaries are published free of charge as a public service. The content is subject to editing to ensure parity treatment and style continuity.