who was the first president to put up a christmas tree in the white house; when is the national christmas tree lighting 2022; national christmas tree 2022; what is white house tradition started in 1878; white house tree lighting 2022; white house tradition 1878 first lady; white house christmas tree 2022; where did the national christmas tree come from this year