Question: What was the mintage when the theme was Santa Claus?
SQL: SELECT mintage FROM table_name_15 WHERE theme = "santa claus"