Will spectrum auctions disappear public TV?