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