princess ida fight chor this is our duty ohio light opera lyrics music