20160507 world.middle-east: Israel strikes Hamas targets after Gaza rocket fire