What options does Congress have left to avoid a 2021 US government shutdown?