user: Question: What was the mintage when the theme was Santa Claus?
Columns: ['Year', 'Theme', 'Artist', 'Mintage', 'Issue Price']
Types: ['real', 'text', 'text', 'text', 'real']
Sample row: [2004.0, 'Santa Claus', 'N/A', '60,965', 19.95]
SQL:

assistant: SELECT "Mintage" FROM "Table" WHERE "Theme" = 'Santa Claus';