NBC: Trump-appointed judge orders return of Venezuelan migrant deported to El Salvador