If you search May Day online, the first option that comes up is NOT International Workers’ Day.

May Day, according to Google.