Question: Who did Ron Richardson play in a musical with a book by William Hauptman and lyrics by Roger Miller?
Sentence (from "Ron Richardson"): Ronald E. Richardson (January 27, 1952 – April 5, 1995) was an American actor and operatic baritone.
Relevant evidence: No