The Man Who Shot Liberty Valance was based on the 1962 film that starred which actor and military officer?