3800 MHz spectrum