20170802 world.us: Trump ready for war with North Korea: US senator