Israel probably can't achieve its war aims without US intervention, which means a formal US intervention is going to happen.