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