Use std::shuffle instead of std::random_shuffle

Use std::shuffle instead of std::random_shuffle #1778