This makes me wonder, how does the NSA choose their goofy codenames?