20190513 world.us: Donald Trump to revamp July 4 festivities: Report