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: Atualize o status de produção do modelo de aeronave 'A380' na tabela 'aircraft_models' para 'Fora de Produção'.
 ###Tabelas: 
CREATE TABLE aircraft_models (model VARCHAR(50), manufacturer VARCHAR(50), first_flight YEAR, production_status VARCHAR(50)); INSERT INTO aircraft_models (model, manufacturer, first_flight, production_status) VALUES ('A320', 'Airbus', 1988, 'In Production'), ('A330', 'Airbus', 1994, 'In Production'), ('A340', 'Airbus', 1993, 'Out of Production'), ('A350', 'Airbus', 2015, 'In Production'), ('A380', 'Airbus', 2007, 'In Production');
UPDATE aircraft_models SET production_status = 'Out of Production' WHERE model = 'A380';