Workmen bring a Christmas tree into the White House.