Wasn't DeSantis head over heels in love with this idea that he used Florida taxpayer money and not federal dollars?