A Naval Biographical Dictionary/Harvey, Thomas