20180702 world.us: Trump congratulates new leftist Mexico leader