20180809 world.middle-east: Hamas fires rockets; Israel bombs Gaza despite talk of truce