20180623 world.us: Gorbachev: Putin; Trump should focus on arms control