Govt announces Oct 15 to 18 public holidays for Eid-Ul-Azha