“A senior executive at a primary AI vendor for the Department of War questioned whether their software was used during the successful Maduro raid, expressing concern about its military application.”