Introduction to Verdi's opera Don Carlo