"Hamilton" makes its Puerto Rico debut