20180221 world.us: Russian 'bots' exploited US shooting too