NBC: How a government shutdown could upend holiday travel