Pentagon's Michael: AI firms should be doing independent auditing