At least seven militants were killed and 15 Egyptian military troops either killed or wounded after a clash in North Sinai on Saturday.
According to the Egyptian military, combing operations in the area where the incident took place have been carried out.
They say the breakdown of military casualties is not immediately clear.

US names Rubio, Tony Blair to Gaza board under Trump's plan
Uganda's Museveni wins re-election, opposition leader at large
Protesters in Denmark support Greenland after Trump's takeover threat
Egypt's Sisi says he values offer by Trump to mediate Nile dam dispute
Ukrainian team heading to US for security guarantee talks, Zelenskyy says