Computer scientist Filippo Menczer has evidence of a bot campaign targeting one of Twitter's biggest power users: President Trump.