CREATE TABLE table_name_15 (mintage VARCHAR(255), theme VARCHAR(255))
What was the mintage when the theme was Santa Claus?
    
SQL: SELECT mintage FROM table_name_15 WHERE theme = "santa claus"