20170927 world.us: Trump: Military option for North Korea not preferred; but would be 'devastating'