The US credit rating is downgraded