特朗普要给霍尔木兹改名“特朗普海峡”，他认真的？