CREATE TABLE table_name_15 (mintage VARCHAR, theme VARCHAR)
SELECT mintage FROM table_name_15 WHERE theme = "santa claus"
เหรียญกษาปณ์คืออะไรเมื่อธีมคือซานตาคลอส?
What was the mintage when the theme was Santa Claus?