Miranda debuts 'Hamilton' in Puerto Rico