How a government shutdown could impact air travel