A Naval Biographical Dictionary/Gregory, John