Marshall King, US Army, post WWII