is-shawshank-redemption-based-on-a-true-story