Svátek práce, nebo první máj je mezinárodní