About how many soldiers demobilized after the war ended