Когда начальник Генштаба Герци Халеви должен уйти в отставку?