Gov. DeSantis announces record funding to fight red tide in Florida