Armee tötet sieben Extremisten auf dem Sinai