Puerto Rico formally exits bankruptcy following largest public debt ...