Ron DeSantis established November 7th as Victims of Communism Day