Has Trump Nominated Too Many Military Leaders—Or Not Enough?