The origin of Hongmeng