Decrypting a Substitution Cipher with Markov Chain Monte Carlo