Official holiday – Eid El Adha [Information circular No. 5331]