Formulate an answer to this elaborate question: What song written by American songwriter Johnny Marks, made popular by Burl Ives, is one of the Top 25 most performed holiday songs written by ASCAP members?
A Holly Jolly Christmas