"Mao Zedong" is not an official name.