Nikki Haley and twice the amount that Trump has, according to a DeSantis campaign official.