Primeira comemoração em liberdade do Primeiro de Maio: Dia Internacional do Trabalhador. See original record