Trump re-nominated a tech billionaire to lead NASA. That’s good news for Elon Musk. A new system to identify and take down ...