What happens to $20M FTX paid Miami-Dade so far as part of arena naming rights deal?

FTX had slick ads, celebrity endorsements and naming rights at the county-owned arena that was home to the Miami Heat.