Public holiday for Benghazi