NBC: Here's how a government shutdown could have impacted holiday travel