¿De dónde salen los nombres de las más famosas operaciones policiales?

Jose Luis Más explica el origen de denominaciones como 'Operacion púnica' u 'Operación Yogui'