A Naval Biographical Dictionary/Harvey, John