Humpty Doo: Origins of town's name continues to elude historians