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: Quantos locomotivas têm uma pintura que é verde da ferrovia de highland
 ###Tabelas: CREATE TABLE provincial_champions (provincial_champions_id AUTO_INCREMENT PRIMARY KEY, Year INT, Event VARCHAR, Skip VARCHAR, Third VARCHAR, Second VARCHAR, Lead VARCHAR) CREATE TABLE round_twelve (round_twelve_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Time VARCHAR, Home VARCHAR, Away VARCHAR, Score VARCHAR, Ground VARCHAR) CREATE TABLE engines (engines_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Volume VARCHAR, Engine VARCHAR, Fuel VARCHAR, Output VARCHAR, Torque VARCHAR, Engine ID code(s) VARCHAR, 0–100km/h,s INT, Top speed VARCHAR, CO 2 VARCHAR, Years VARCHAR) CREATE TABLE world_championship_group_b_denmark (world_championship_group_b_denmark_id AUTO_INCREMENT PRIMARY KEY, Games INT, Drawn INT, Lost INT, Points difference VARCHAR, Points INT) CREATE TABLE locomotives (locomotives_id AUTO_INCREMENT PRIMARY KEY, No. INT, Name VARCHAR, Livery VARCHAR, Locomotive type VARCHAR, Wheel Arrangement VARCHAR, Builder VARCHAR, Year built INT, Status VARCHAR)  
SELECT COUNT Name FROM locomotives WHERE Livery = Highland Railway green