20150817 world.pakistan: Hamid Gul; who bled India as ISI chief; dead