operación ‘Jabalí’