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 modelo do Martelo de Thor que está listado como operacional?
 ###Tabelas: CREATE TABLE augmented_seventh_chord_table (augmented_seventh_chord_table_id AUTO_INCREMENT PRIMARY KEY, Chord VARCHAR, Root VARCHAR, Major third VARCHAR, Augmented fifth VARCHAR, Minor seventh VARCHAR) CREATE TABLE roller_coasters (roller_coasters_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Model VARCHAR, Park VARCHAR, Opened VARCHAR, Status VARCHAR) CREATE TABLE 1980 (1980_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, City VARCHAR, Opponent VARCHAR, Results¹ VARCHAR, Type of game VARCHAR) CREATE TABLE mls_regular_season (mls_regular_season_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Home Team VARCHAR, Score VARCHAR, Away Team VARCHAR, Venue VARCHAR) CREATE TABLE doubles_26_12–14 (doubles_26_12–14_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Partner VARCHAR, Opponents VARCHAR, Score VARCHAR)  
SELECT Model FROM roller_coasters WHERE Status = operating AND Name = thor's hammer