using random_shuffle() I always get the same shuffled array returned.