Correction: J.D. Vance industry connection misidentified

Correction: An article published July 29 in the Local News section incorrectly reported the name of the former Google chief executive who is among J.D. Vance’s technology industry connections. He is Eric Schmidt.