What should President Trump have done?