ohio 17th state