Claim: French Indochina was officially known as Mario after 1887.
Verdict: NOT ENOUGH INFO