Also known as Wang Chuan