Wal-Mart names president, CEO of Walmart de Mexico