Role of Ted Cruz on shutdown