Thomas Howard DuVal — United States federal judge (1813–1880)