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: Quais segurados não possuem reclamações na Flórida?
 ###Tabelas: 
CREATE TABLE Policyholders (PolicyID INT, Name VARCHAR(50)); CREATE TABLE Claims (ClaimID INT, PolicyID INT, State VARCHAR(20)); INSERT INTO Policyholders VALUES (1, 'John Smith'), (2, 'Jane Doe'), (3, 'Mike Brown'); INSERT INTO Claims VALUES (1, 1, 'California'), (2, 2, 'Texas');
SELECT p.Name FROM Policyholders p LEFT JOIN Claims c ON p.PolicyID = c.PolicyID WHERE c.PolicyID IS NULL AND State = 'Florida';