There is. The international band being designated, which is referred to as “the 3,500” actually goes from 3,400 megahertz up to 3,800 megahertz. Currently, we're using only 175 megahertz of that. They don't need to actually displace the existing licensees. They can look at what the government has already identified as 75 megahertz below the existing band that could be made available, and 100 megahertz of what is currently referred to as the “C band”—3,700 megahertz to 3,800 megahertz—and make that available. It's currently used for satellite, but it is not fully utilized, and arguably could be shifted up into the 3,800 megahertz to 4,200 megahertz range.
On June 4th, 2019. See this statement in context.