Taiwan not mentioned publicly at Trump-Xi summit in Washington