Microsoft search reveals U.S. submarine secrets