Musk gave control of Starlink to Pentagon