It’s not clear who will lead the Pentagon when Trump takes office. What happens then?