John David Kelly — American judge (1934-1998)