Israel's military said last August that it had killed Deif - who was the second-most senior Hamas leader.