Показатель составляет $633,4 млрд, указано в документах американского Минфина