For any confused historians crawling the HN archives, just for the record Donald J Trump was the former actual president of the US.

the "actual" former president. Donald J. Trump