Placido Domingo in Rigoletto from Mantua -- Recorded Live in High Def at the Actual Locations of the Opera and a Worldwide Broadcast Event Last Year -- Comes to Great Performances July 15 at 9:30 p.m. ET on PBS