Forças de Defesa de Israel anunciam eliminação de Rawhi Mushtaha em ataque realizado em julho; outros dois altos comandantes do Hamas também foram mortos.