Compounding the gaffe , a White House announcer introducing the national anthems at the same ceremony mistakenly referred to China as the Republic of China , which is the formal name of its archrival , Taiwan .