what is the virtual channel of the station that is the most prominent provider of educational television programming to public television stations in the united states ?
17