U.S. loses final triple-A credit rating. Market reaction uncertain but ‘it’s not good news.’