This is the first formal shutdown since 2018, during President Trump’s first term. That shutdown lasted a record 35 days.