Who succeeded Roosevelt as President of the United States before the war ended?