Assinale a alternativa que corresponde ao Juiz Federal responsável pela Operação Lava Jato (a maior investigação de corrupção e lavagem de dinheiro que o Brasil já teve). Trata-se de: