Gaza war offers boost to Hamas leader Mashaal