20180614 world.rest-of-world: 'Where is Singapore?': Trump-Kim summit a PR coup for tiny city-state