Mattis Isn’t Wrong about Iran