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 prefeito é do partido KRF?
 ###Tabelas: CREATE TABLE sycamores_in_professional_leagues_50 (sycamores_in_professional_leagues_50_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Class Year INT, Position VARCHAR, Teams VARCHAR, Career VARCHAR, Highlight(s) VARCHAR) CREATE TABLE coaching_record_vs._other_teams (coaching_record_vs._other_teams_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Wins INT, Losses INT, Ties INT, Win Pct. VARCHAR) CREATE TABLE municipalities_of_midhordland (municipalities_of_midhordland_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Innhabitants INT, Area INT, Mayor VARCHAR, Party VARCHAR, Municipal code INT, Language form VARCHAR) CREATE TABLE moves_played_compared_with_computer_choices (moves_played_compared_with_computer_choices_id AUTO_INCREMENT PRIMARY KEY, Position INT, best year VARCHAR, best 2-year period VARCHAR, best 3-year period VARCHAR, best 5-year period VARCHAR, best 10-year period VARCHAR, best 15-year period VARCHAR) CREATE TABLE men's_singles (men's_singles_id AUTO_INCREMENT PRIMARY KEY, # INT, Player VARCHAR, Age INT, Australian Open INT, French Open INT, Wimbledon INT, US Open INT)  
SELECT Mayor FROM municipalities_of_midhordland WHERE Party = krf