UNLV professor killed in mass shooting is named as part of Trump’s DEI crackdown