The Defense Department has named a Silicon Valley veteran to fast-track the development of artificial-intelligence capabilities to be used by U.S. forces from the Pentagon to the battlefield, the agency said. Craig Martell, who...