There was a Frederick Hoffman family in the 1830 census of Clermont Co., Ohio. Perhaps it is this family, but I have no evidence that any of John Hoffman’s children went to Ohio with Harmon’s children.