法越战争
Operation Lorraine was a French military operation of the First Indochina War.