Texas Opera Theater, John DeMain