DeSantis is suing the CDC