Em 1976, a CIA reconheceu possuir um grande acervo de documentos classificados relativos a Ben Barka. Aproximadamente quantos arquivos a CIA admitiu ter?