James Zagel — United States district judge (1941-2023)