Los nombres en clave de los programas de la CIA revelan un extraño (y absurdo) sentido del humor