No indication that the US has used the uncrewed vessels, which for years have been dogged by technical problems, for offensive strikes