Money that comes from spectrum auctions goes into general revenues. General revenues would, of course, take into account broadband as well as other services and programs that the government provides. The money would go into the general revenues.
On May 16th, 2019. See this statement in context.