Who was president of Mexico in 1940?