A Naval Biographical Dictionary/Hotchkis, John