One of the very few officials who have stayed in the White House since President Trump’s inauguration seems to have had enough. The White House’s chief operations officer, Daniel Walsh, is leaving the administration.