Musk Leaves China With Tesla Driving Software Hurdles Cleared