A Naval Biographical Dictionary/Jervis, William Henry