美国总统特朗普：我们正在考虑将霍尔木兹海峡重新命名为“特朗普海峡”。