The White House decorated for Christmas.