Teatro Nacional, San Jose, Costa Rica.