I have a question ....
If that was the code name, how come it is now in public domain /?
No code name.. just a assigned name..
like High mark or Red flag.
Code names are usually more unusual..
I remember reading about a USAF exercise dubbed blue penguin in the 60's.. and one that had something to do with flowers..