How red-nosed Rudolph went down in history