What other options does Congress have to avoid a government shutdown?