It’s clearly short for “Sun Wukong.”