It just worked out that way. Before the schedule was even released, I scheduled a Carnival cruise that gets back into Miami on Oct. 15.