Dix-neuf combattants tués dans des opérations au Nord-Sinaï