Question: What was the 2010 population of the town just south of Portsmouth Gaseous Diffusion Plant in 2010?
Sentence (from "Piketon, Ohio"): Originally called Jefferson, it was the county seat of Pike County 1815–1845, when James Emmitt, a wealthy local entrepreneur, influenced removal of the county seat to Waverly, due to its closer proximity to the then new Ohio & Erie Canal.
Relevant evidence: No