Israel’s new strategy: Lean on Trump, pressure Iran, keep the military option