The Miami-based cruise line on Wednesday notified passengers it would extend the pause of its cruise operations from the U.S. ports through the end of May.

The Miami-based cruise line on Wednesday notified passengers it would extend the pause of its cruise operations from the U.S. ports through the end of May.