I find it interesting that they picked the date of the big USSR holiday instead of the big Mexican holiday on Friday.A lot of people have been misled into believing that May 1st is a holiday associated with the USSR! Actually, May 1st is "
Interntional Workers Day", which originated in the US in the 1880's and is the precursor to what we now call Labor Day.
A
Google Search will provide a lot of info on it's US origins and background.
Cheers,
Brad