20170713 world.us: 'Vladimir Putin would have preferred if Hillary Clinton won US election;' says Donald Trump