Hamas military chief was killed in July strike, Israel says | BBC News