NBC: Congress avoids a shutdown but leaves 'a big mess' for Trump and Republicans in 2025