Database: flight_company
Question: What is the mean velocity of the pilot named 'Thompson'?
SQL: select avg(velocity) from flight where pilot  =  "thompson"