Oedipus Rex på Kungliga operan