Atlantic City's credit rating was just downgraded four notch