What might happen in the U.S. government shutdown