Opera Columbus’ production of Bizet’s Carmen. Photo: Randall L. Schieber