how did knockemstiff, ohio get its name