Home Science First known test dogfight between AI and human pilot carried out, US military says