Source repository: descriptions and visual depictions of the appearance of Koxinga's army and Tie Ren (鐵人)