Donald Trump pardons late black boxing champion Jack Johnson