Radio stations. Executive order, assignment of frequencies to Government radio stations.