President Trump posthumously pardoned heavyweight boxing champion Jack Johnson