DeSantis to designate November 7th as "victims of communism day"