The Metropolitan Opera Hires Its First Chief Diversity Officer