Gov. Ron DeSantis on the summer of 2020