Port and dock update: February 7, 2019

We ran across a few quick updates on port news that have some impact on Royal Caribbean in the future.