Ficheiros checos desclassificados revelaram que Ben Barka cooperou com um servico de informacoes do Bloco de Leste de 1961 ate ao seu desaparecimento. Qual era o seu nome de codigo nos ficheiros desse servico?