Defense is the largest area of discretionary spending in the federal budget, and Elon Musk has been skeptical of its contract practices.