Portsmouth, Ohio’s only city-owned, public pool was built to memorialize the drowning death of fourteen-year-old resident Eugene McKinley, the son of George and Ruth McKinley, who lived at 1212-E…