> If he thinks it would help in the trade war, he just might do it. <
Trump should do it anyway. Who is China to dictate where US ships can and cannot go? And if you give in to a bully, the bully will always demand more.
Hong Kong is Chinese territory. Like we can deny visits to US ports by Chinese warships, they can deny us the same.