¿Cómo rige el feriado del 25 de mayo?