Gov. DeSantis is sending Florida law enforcement to Texas