Trump says China’s Xi is ‘very happy’ about Strait