Twitter’s Least-Bad Option for Dealing With Donald Trump