The First Lucas County Courthouse, 1835