Donald Trump, not Jorge Ramos, should be ejected