«Есть такой день в году – первое мая…»: Президентская библиотека об истории праздника