I'm going on Symphony of the seas in March 2022. I looked at the port schedule for CocoCay and it looks like the day I'm visiting (March 18, 2022), both Symphony and Mariner are docking. How crowded would that be with 2 ships, especially the waterpark? I know Royal frequently docks 2 voyager class ships (ex. Navigator and Mariner), but I don't know about an Oasis class + Mariner.