Question: "All I Want for Christmas is You" is a Christmas song by Mariah Carey, which is the lead single from an album that contains a contemporary holiday theme, and was released by who?
Sentence (from "When Christmas Comes"): Both versions of the track were a hit in South Korea, with the duet debuting at number one with sales in excess of 80,000 copies.
Relevant evidence: No