William Kernahan Thomas — United States federal judge