US Military Used Anthropic AI in Iran Strike Despite Trump Ban: Report