Is China’s BeiDou satellite navigation system a challenge to US GPS?