US government shutdown ends for now