Mainland Southeast Asia is historically known as Indochina