¿Debería ser el 25 de mayo el Día de Asturias o tener algún reconocimiento especial como ser el segundo festivo autonómico?