Robert Amundson — American judge (1938–2024