Are both King Roger and The Devils of Loudun operas?