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