What sort of encryption is used for the Global Positioning System (GPS), operating in the Precise Positioning Service (PPS) mode? Is it one of the military "KY-xx/KG-xx" modes, or "something else"? =====