Operation Ogro : the execution of Admiral Luis Carrero Blanco