What is the velocity of the pilot named 'Thompson'?
select avg(velocity) from flight where pilot = 'Thompson'