特朗普建议将霍尔木兹海峡更名为“特朗普海峡”。