اول ماه مه، روز جهانی کارگر، گرامی باد!