20180502 world.rest-of-world: South Korea says it wants US troops to stay regardless of any treaty with North Korea