Ivanhoe, a Romantic Opera Adapted from Sir Walter Scott's Novel, Etc.