All-Ohio honors awarded to John Glenn, Tri-Valley standouts