Welcher US-Präsident war auch Vize?