i found my great great grandfather washington holverstott in the 1910 census in union county as michael holverstol, michael being his first name. He was living with his then wife Sarah. I dot know when he died, but it was either out of state or before 1917 as he isnt listed in most variations of his name in the ohio death index. Does anybody know of any information about them? thanks.