Ron DeSantis laughs