Oedipus, King of Thebes, a tragedy, from the Greek of Sophocles