20180715 world.europe: One Russian leader; four US presidents: A history of ties