As that other coins rebrand came out after this poll was announced, they have no direct claim on that name in my opinion. However, there are other variations of Vortex that can be used, such as Vortec.

However we will cross this bridge when we come to it. A domain has already been secured for this name, fyi, in case it wins. We will not back away from the name with the most votes, in any case.