I just double-checked and you are right! Filed Jan. 17, 2019. Apologies. For some reason I thought it was filed a few days after Trump became president, but

I just double-checked and you are right! Filed Jan. 17, 2019. Apologies. For some reason I thought it was filed a few days after Trump became president, but I was mis-remembering.