20180715 world.europe: After no end of drama; Trump and Putin take to summit stage