Trump Just Called Micron the ‘Hottest’ Company in the World. The Market Yawned and Dumped It 10%