The Price of a U.S. Credit Rating Downgrade