Trump nominates the crypto-friendly Paul Atkins to lead the SEC