In which city is this flag carrier based, for which David "Dave" John Shaw was an airline pilot?