The Trump administration has been itching for a fight with Iran, but Mattis held it back. Now he’s gone.