3500 MHz frequency allocation (2008)