霍尔木兹海峡改名叫“特朗普海峡”，改名是否寓意伊朗战败？