Who was president of the US from 1953 to 1961?