العمليات القتالية لحرب 1948، في الفترة من 15 مايو حتى 10 يونيه وتنفيذ الهدنة في الفترة من 11 يونيه حتى 17 يوليه