the former mayor of the village of shreve served as a representative in the ohio house of representatives for what district ?
3rd district