On January 4, 1994, the use of this code name was discontinued.
Στις 4 Ιανουαρίου 1994, η χρήση του παρόντος κωδικού ονόματος σταμάτησε.