Is Arnulf Lepe in the United States Army?