Should Armies Around the World Use Artificial Intelligence to Fight Wars?