El operativo para concretar la liberación se conoció como Operación Emmanuel.