Trump’s travel restrictions are a damn good idea