Formal spell is "Tokio". "Tokio" is German / Spanish spell of "Tokyo" (English spell). The company selected the spell because almost non-Japanese people's pronunciation is close to "Tokio". That is rare spell in Japanese company, therefore, Japanese and non-Japanese often make spelling mistakes.
Do you need more information about this building and its related companies?