Can a Twitter taunt bot defeat the trolls and save political discourse?