Who is Going to Use the 12 GHz Band – 5G, Starlink, or Both?