Gov. Ron DeSantis on mortalities from Hurricane Ian