It's official: the partial government shutdown is the longest in U.S. history