Four soldiers were martyred while 15 terrorists were killed in two separate intelligence-based operations (IBOs) carried out in Khyber Pakhtunkhwa on Saturday, according to the military’s media wing A statement from the Inter-Services Public Relations (ISPR) said the first IBO took place in Dera Ismail Khan district’s general area of Hathala on the reported presence of terrorists in the area.