Martin Luther King Day isn't actually mentioned in this article (though King himself has a brief mention), so there probably wouldn't be cause to add John Lennon Day even if it were a sufficiently significant holiday to have its own page (which apparently it isn't, given that it was deleted).