Мир-Труд-Май!

Интересно, случайно ли День солидарности трудящихся назначили на Иосифа Труженика?