20170811 world.us: Trump thanks Putin for slashing US diplomatic staff