Ron DeSantis and George Bush