https://police-museum.org/greater-cincinnati-police-history/cincinnati-workhouse-history/