20150702 world.middle-east: More than 100 dead as militants; Egyptian army clash in North Sinai