20160709 world.us: Obama to travel to Dallas; cut European trip short: White House