use Pi::rng as the random source when shuffling models for the ship parade