After Twitter gave one of President Trump’s tweets a modest reality check, the president threatened to “shut down” social media companies, personally targeted a Twitter employee, and signed an executive order that would