"hi trump" ?? Feels off to me, and highlighting POTUS's location in stadium.
Not how a fan would ask, it'd be more respectful, like Mr President, or Mr Trump ?
>https://oig.justice.gov/press/2019/2019-12-09.pdf
2 reports, one 9 Dec and updated (with unredacted info) on 11 Dec
Both links from Q's link.
https://www.justice.gov/storage/120919-examination.pdf
https://www.oversight.gov/sites/default/files/oig-reports/120919-examination.pdf