https://pzactual.com/dia-del-trabajador-es-feriado-de-pago-obligatorio/
Día del Trabajador es feriado de pago obligatorio.