20160507 world: Israel strikes Hamas targets after Gaza rocket fire