Le théâtre national de San Jose, Costa Rica