Record government shutdown ends