跟帖特朗普：要不要把霍尔木兹海峡改名为“特朗普海峡”？