Marvin Frederick Cole — American judge