William R. De Witt — American theologian and librarian (1792-1867)