Operation Horev ended.