En 1947, el entonces teniente Choi fue ascendido a capitán y luego a mayor.