U.S. Mint Names Chief Information Officer