20180715 world.middle-east: Ceasefire holds after day of intense Israel-Hamas fighting