Puerto Rico’s Default Is Fine, as Long as Wall Street Is Repaid