Trump's recent short selling has gone relatively smoothly.