20160809 city.allahabad: Eid-ul-Fitr a national holiday in India? Pakistanis surprised