Trump's executive order bans chokerholds with exception