Oscars and Ulcers: The Production History of 'High Noon'