Looking at marine traffic
https://www.marinetraffic.com/en/ais...y:25.7/zoom:10
It looks like Adventure of the Seas will be the first Royal Caribbean ship to port in Miami. Getting one wave closer to sailing out of the US.... but a LONG way to go still.