Diário Oficial traz a exoneração do diretor-geral da Agência Brasileira de Inteligência, mas não indica substituto