20140718 world.middle-east: Day 10 of Israel-Palestine conflict: Israel launches ground operation in Gaza