20170801 world.rest-of-world: 'All options on table' for North Korea: White House