August 5th is a public holiday for the July-August Revolution