Moody’s and the US debt ceiling