3 ms·

Those don't come into play because Moody's and Fitch maintained their AAA ratings for US treasuries.