Musk to 'upgrade' air traffic control system, Trump official says