EncroChat: Europol fez 6.500 detenções após neutralização da rede