== "Columbus Day" a stable title? == 

 The Columbus Day is the name of the October 12 holiday in the United States. However, internationally, the holiday is named differently, and the name Columbus is not used overseas because of his crimes against humanity. Somehow, I see that other names should be considered, like "October 12, 1492, holiday" or "Holiday of October 12, 1492". It cannot stay "Columbus Day" forever if non-U.S. countries won't use "Columbus Day" ever.