A Naval Biographical Dictionary/Gregory, Thomas