Dems introduce bill to repeal Trump ‘Muslim ban’