Regime change isn't what it used to be. Donald Trump himself had talked it up as a reason for attacking Iran.