Nå var det bare White House pool-journalister som ikke forsvarte kollegaen sin som Trump gjentatte ganger kalte «dum», men du kan høre dem takke Trump noen minutter senere etter at han avsluttet spørsmål-og-svar-samtalen. Trist.