20180521 home.science: Robots may replace humans on the battlefield