Uniqueness in a Navier–Stokes-nonlinear-Schrödinger model of superfluidity