20180715 world.middle-east: Israel exchanges intense fire with Hamas militants in Gaza