美国总统特朗普提议将霍尔木兹海峡更名为特朗普海峡。