Prior to 1948, North and South Vietnam were a part of;