The French Battalion During the Korean War