我还是第一次听说 International Workers’ Day，一直叫它 Labor Day, labor 有劳工也有劳动的意思。德语也是叫劳动节（Tag der Arbeit）。
我觉得这词不一定是从英文翻译来的…