Algorithms for Our Arsenal: Artificial Intelligence and the National Defense Strategy