President Trump announcing a short-term deal to end the shutdown (White House Facebook page)