Gov. Ron DeSantis announces that Florida’s ports are open