Eid-ul-Fitr public holiday