LETTER: Pilot shortages and service disruptions