My family is booked on the Norway/Iceland 12-night cruise this July. I was researching where the ship would dock in Reykjavik and noticed that the arrival and departure times listed on the Reykjavik cruise port schedule do not match the times listed by Disney on the cruise itinerary. Disney lists arrival at noon on July 30th and departure at 7pm on July 31. Reykjavik port lists arrival at 5:30am on July 30th and departure at 1:15pm on the 31st. Has anyone seen this before or can anyone tell me which port times I should trust? This makes me hesitant to make plans for this port. Thanks in advance for any insight!