When was May 1st first declared a workers holiday?

 

Answer here