20200816 world.us: Robert Trump; the president's younger brother; dead at 71