"Washington Historic District" . . "70000253 and 76002274" . "Washington Historic District (Washington, Kentucky)" . . . "Washington Historic District (Washington, Kentucky)" . . . . .