Gov. DeSantis designates Nov. 7 as Victims of Communism Day