The battles of Coxinga. Chikamatsu's puppet play, its background and importance