A Practical Polynomial-Time Known-Plaintext Attack on a Cryptosystem Proposed by John Nash