public holiday for Eid al-Fitr