When the White House finally released the text of Mr. Trump’s orders on Thursday evening, […]