Puerto Rico Formally Exits Bankruptcy After Public Debt Restructuring