Las operaciones militares, muchas de las cuales acaban en batalla, tienen nombres en clave que no tienen por qué estar relacionados necesariamente con el tipo o la localización de la operación.