Puerto Rico in default on massive debt