Armed forces kill 9 "terrorists" in North Sinai

The armed forces killed nine "terrorists" in a fire exchange in North Sinai on Tuesday as part of its security crackdown on militants in the peninsula.