ISPR says one terrorist killed was 'Waheedullah', responsible for the martyrdom of Lieutenant Colonel Gul Faraz