 For American, Delta, United, and Allegiant are not taking off as of right now. That could change at any time. We don't know. We've not received any update where there's been an all-clear that they can take off, but there's communication problems that they're having because of this.