is-shawshank-redemption-a-true-story