A Naval Biographical Dictionary/Palmer, John Jervis