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 "I Don't Wanna Cry"): It became another U.S. number one single for Carey.
Relevant evidence: No