A Naval Biographical Dictionary/Tucker, John Jervis