oftheeising George Gershwin musical Patriotic lyric that's also a Gershwin title "WINTERgreen for President" musical Gershwin satire on politics Musical that inspired Redding?