NBC: Puerto Rico formally exits bankruptcy following largest public debt restructuring