Will Carnival Cruise Line change the traditional formal night when the timing conflicts with the biggest sporting event of the year?