Egypt: Eight killed in military operation in North Sinai