A public holiday held in honour of working people in some countries on May 1