US needs formal ties with Taiwan