Which world war ii military general, who was also the military governor of the american occupation zone in germany, was elected president of the united states?