John Charles Thomas — American judge (born 1950)