Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é o Jockey, quando o Post é 12?
 ###Tabelas: CREATE TABLE since_1945 (since_1945_id AUTO_INCREMENT PRIMARY KEY, Candidate VARCHAR, Party VARCHAR, Constituency VARCHAR, Year VARCHAR, Days VARCHAR) CREATE TABLE 2000–2010 (2000–2010_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Competition VARCHAR, Ground VARCHAR, Score VARCHAR, Attendance INT, Report VARCHAR) CREATE TABLE post_positions (post_positions_id AUTO_INCREMENT PRIMARY KEY, Finished INT, Time/ Behind VARCHAR, Post INT, Horse VARCHAR, Jockey VARCHAR, Trainer VARCHAR, Owner VARCHAR) CREATE TABLE detailed_overview (detailed_overview_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Place of Birth VARCHAR, Date of Birth VARCHAR, Club Apps. VARCHAR, Club Goals VARCHAR, Int. Caps VARCHAR, Int. Goals VARCHAR, Previous Club VARCHAR, Date Joined VARCHAR, End 1 INT) CREATE TABLE windows_nt (windows_nt_id AUTO_INCREMENT PRIMARY KEY, FAT16 VARCHAR, FAT32 VARCHAR, HPFS VARCHAR, ISO 9660 VARCHAR, NTFS VARCHAR, ReFS VARCHAR)  
SELECT Jockey FROM post_positions WHERE Post = 12