Puerto Rico Finds Money for State Worker Bonuses