Are both Roberto Devereux and King Priam operas?