El Ejército mata a siete presuntos milicianos durante una operación en la península del Sinaí