美国总统特朗普：我们应该把霍尔木兹海峡改名为“特朗普海峡”。