Monday's filing followed years of struggles for the Florida-based airline, which is known for its no-frills, low-cost flights.

Many travelers book cruises months or even years in advance, but plans can change in the time between making a reservation ...