Who was the US president before John F. Kennedy?