commemoration of World Labor Day on May 1.