Trigg County, Kentucky, History of.