Obama should thank Trump for putting Iran on notice