is shawshank redemption a true story