One man’s mission to find Ohio’s biggest trees