Indonésia executa brasileiro por tráfico