第一次インドシナ戦争
It was part of the First Indochina War.