Thomas Tingey Craven — United States Navy officer (1808–1887)