U.S. federal government officially shut down on October 1, 2025—the first shutdown in nearly seven years