William Butler — United States federal judge, born 1822