20180530 world.middle-east: Israel says struck 25 more Hamas targets overnight after rocket; mortar fire