A Naval Biographical Dictionary/Harvey, Henry