Libby fought in World War II in the European Theatre of Operations [REF].
By the time of the outbreak of the Korean War, however, Libby was a sergeant and had been assigned to C Company of the 3rd Engineer Battalion, 24th Infantry Division [REF].