What is the highest-grossing Christmas movie of all time?

christmas movies, box office, highest-grossing, animated films, holiday classics, family films, romantic comedy, dr. seuss, charles dickens