Operation Ogro: The Execution of Admiral Luis Carrero Blanco