[1001101]

Too late to edit, but in response to earlier poster that deleted their reply, national day of commemoration is probably more accurate than holiday, agreed, thank you. There was some confusion on this point from sources deriving from: https://www.svoboda.org/a/29664681.html (translated headline indicates holiday). I don’t think it changes the thrust of the original point much, but I prefer precision as well.