Καθιέρωση της 18ης Οκτωβρίου ως δημόσιας εορτής τοπικής σημασίας για την πόλη της Αλεξάνδρειας