The Mercantile Library of Cincinnati has a 10,000-year lease. When Cincinnati College burned in 1845