Barr certainly did mention Trump as "the president", as presented by the OP. Glug's statement is correct.