"The Martyr of Antioch" se estrenó en octubre de 1880.