Claim: French Indochina was officially known as Mario after 1947.
Verdict: REFUTES