Who is the chief designer of the BeiDou navigation system