Yes.
1. On January 18, 2016, the narration in the movie promotional song "The World Is Always Hello" for "The Mermaid" clearly mentioned "the Ming Dynasty more than 600 years ago".
2. Zheng He was born in the fourth year of Hongwu (1371) in the Ming Dynasty. In April of the eighth year of Xuande (1433), Zheng He died in Guli Kingdom on the west coast of India and was buried in Niushou Mountain in Nanjing. Match in time.
3. Zheng He’s seven voyages to the Western Ocean correspond to the seven times in the play that the human navy besieged the mermaids.
Except for Zheng He, there is no other Mr. Zheng in history who can hit the mark.