I want to know the answer to the following question:
What is the BeiDou Navigation Satellite System named after?
All the background I'm provided with is that "The official English name of the system is BeiDou Navigation Satellite System.". Is that enough to answer the question?