The U.S. Just Got Another Credit-Rating Downgrade: Should Investors Worry?