Will the U.S. credit rating be downgraded by December 31, 2025? | SimpleFunctions