Aquella acción dio comienzo a la Guerra de Indochina.