• if a police or military operation is code-named a particular name, it is known by that name to the people involved in it.
