It’s Holiday Party Season at the White House. Masks Are Encouraged, but Not Required.