What President Trump’s executive order on campus free speech is really meant to do