The US Space Force is modernizing its GPS constellation with the help of Elon Musk’s new rocket tech.