(વર્ષ પછી, 17 ઓક્ટોબરને રાષ્ટ્રીય રજા તરીકે જોવામાં આવ્યું હતું.