مصدر عسكري إسرائيلي لجيروزاليم بوست: تغيير النظام الإيراني لم يكن هدفاً لإسرائيل في هذه الحرب