王震 (wáng zhèn) – Wang Zhen (1908-1993), Chinese political figure