Ibovespa tem duplo recorde com encontro de Lula e Trump e recordes em Wall Street; dólar cai a R$ 5,37