Who was the actress that starred opposite Gary Cooper in, "High Noon"?

History Trivia: Who was the actress that starred opposite Gary Cooper in, "High Noon"?