That ruling (if it stands) only applies to states under the jurisdiction of the 11th Circuit, which includes Florida (and Alabama and Georgia) but not Texas, New Jersey, New Orleans, Maryland, California, Washington, California, or other states from which cruises originate. Corporations very much prefer reliable and global rulings, and will err on the side of CDC guidance in the meantime.