Sharing of the Band 12.2-12.7 Ghz Between the Broadcasting-Satellite and Fixed Services by United States Government