Παγκόσμια Ημέρα της Εργατικής Πρωτομαγιάς.