In-mid 2015, China started the build-up of the third generation BeiDou system (BDS-3) in the global coverage constellation. How many BDS-20 satellites have been launched?