FORMER NAMES ON THE MAP: Europeans once referred to China as this, still seen in the name of an airline