After Florida School Shooting, Russian ‘Bot’ Army Pounced (New York Times)