DeSantis speaks on Holocaust education