behold the lord high executioner the doyly carte opera company lyrics music