Jeff Irving and the cast of Irving Berlin’s White Christmas. Photo by Michael Cooper.