What was the 17th of the 19th block IIA satellites to be launched under the radio-navigation formerly known as "Navatstar"?