La captura de Panteleria fue llamada operación Corkscrew.