NBC: JetBlue cuts short its summer schedule amid crew shortages