Mismo operativo llevaba por nombre Operación Gedeón.