Trump livra Alexandre de Moraes, vulgo Xandão, da Magnitsky. Mas o que o ex-presidiário Lula deu em troca?