Wann war Johnson US-Präsident?