20180714 world.middle-east: Israel launches airstrikes on Gaza Strip after border protest bloodshed