Proposed resolution:

Change [rand.predef]/p8:

typedef shuffle_order_engine<minstd_rand0, 256> 
        knuth_b; 

Required behavior: The 10000^th consecutive invocation of a default-constructed object of type knuth_b shall produce the value 1112339016 2126698284.

The 10,000^th value returned by knuth_b is supposed to be 1112339016. We get 2126698284.