Who was the US president at the end of the Great Depression?