The military wants ‘robot ships’ to replace sailors in battle