Does the Fitch downgrade of US debt rating matter?