Lighting of the National Christmas tree in Washington D.C.