Dom Pedro V Theatre, the first of its own in Asia